package tr.edu.ege.kipler.satisfiability.container.creational;

/**
 * 
 * @author İnanç Seylan
 *
 */
public enum ContainerType {
	SHQ, SHIQ_BASIC, SHIQ_MODIFIED_INDIVIDUAL, SHOIQ_BASIC, SHOIQ_MODIFIED_INDIVIDUAL;
}
